1=0 は型は同じ
#型
from
ソフトウェアの意味論を型システムが表現している限り、テストは書かなくても良い
1=0 は型は同じ